Open System for Computer Algebra Research (OSCAR-Projekt)

Projektleitung und Mitarbeiter

Bündgen, R. (Dr. rer. nat.), Hagel, G. (Dr. rer. nat.), Loos, R. G. K. (Prof. Dr. rer. nat.), Schupp, S. (Dipl. Math.), Simon, G. (Dr. rer. nat.), Weber, A. (Dr. rer. nat.)

Mittelgeber :

Forschungsbericht : 1994-1996

Tel./ Fax.:

Projektbeschreibung

Ziel des Projekts ist es, Software für symbolisches und algebraisches Rechnen und Beweisen zu implementieren und auf Servern verteilt zur Verfügung zu stellen. Hierzu wird die mathematische Notation für algebraische Strukturen in generischer und parametrischer Weise benutzt, wo dies ohne Effizienzeinbuße möglich ist. Der Entwurf einfacher Schnittstellen soll es ermöglichen, Software verschiedener hochspezialisierter mathematischer Forschungsgruppen in Anwendungen zu adaptieren, ohne sie von Grund auf neu zu schreiben. Als Basis der Implementierung dient C++ mit der Standard Template Library (STL), wobei Absprache und Austausch mit in- und ausländischen Forschungsgruppen erfolgen.

Drittmittelfinanzierung: DFG

Publikationen

Weber, A.: Algorithms for type inference with coercions. In: Intern. Symp. on Symbolic und Algebraic Computation. ACM Press 1994.

INDEX HOME SUCHEN KONTAKT LINKS

qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 30.11.96
Copyright Hinweise